$x$ did not kill $y$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg$$x$ kills $y$